Silvia Ghilezan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Full Intersection Types and Topologies in Lambda Calculus

Silvia Ghilezan

Journal:

Journal of Computer and System Sciences

Year:

2001

Language:

english

File:

PDF, 136 KB

english, 2001

2

Separating Points by Parallel Hyperplanes— Characterization Problem

Ghilezan, Silvia, Pantovic, Jovanka, Zunic, Jovisa

Journal:

IEEE Transactions on Neural Networks

Year:

2007

Language:

english

File:

PDF, 440 KB

english, 2007

3

Combining behavioural types with security analysis

Bartoletti, Massimo, Castellani, Ilaria, Deniélou, Pierre-Malo, Dezani-Ciancaglini, Mariangiola, Ghilezan, Silvia, Pantovic, Jovanka, Pérez, Jorge A., Thiemann, Peter, Toninho, Bernardo, Vieira, Hugo

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 1.11 MB

english, 2015

4

Linked data privacy

JAKŠIĆ, SVETLANA, PANTOVIĆ, JOVANKA, GHILEZAN, SILVIA

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 207 KB

english, 2017

5

Behavioural inverse limit λ-models

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 399 KB

english, 2004

6

Characterizing strong normalization in the Curien–Herbelin symmetric lambda calculus: Extending the Coppo–Dezani heritage

Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 471 KB

english, 2008

7

Reducibility: A ubiquitous method in lambda calculus with intersection types

Silvia Ghilezan, Silvia Likavec

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 203 KB

english, 2003

8

Intersection and Union Types in the -calculus

Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 339 KB

english, 2005

9

Security types for dynamic web data

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantović, Daniele Varacca

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 462 KB

english, 2008

10

[IEEE 2014 IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL) - Bremen, Germany (2014.5.19-2014.5.21)] 2014 IEEE 44th International Symposium on Multiple-Valued Logic - On the Number of S-Threshold Functions on Not Necessarily Binary Input

Pantovic, Jovanka, Ghilezan, Silvia, unic, Jovia

Year:

2014

Language:

english

File:

PDF, 204 KB

english, 2014

11

An approach to call-by-name delimited continuations

Herbelin, Hugo, Ghilezan, Silvia

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 304 KB

english, 2008

12

[ACM Press the 6th ACM SIGPLAN international conference - Verona, Italy (2004.08.24-2004.08.26)] Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 - Characterizing strong normalization in a language with control operators

Dougherty, Dan, Ghilezan, Silvia, Lescanne, Pierre

Year:

2004

Language:

english

File:

PDF, 209 KB

english, 2004

13

Lambda terms for natural deduction, sequent calculus and cut elimination

BARENDREGT, HENK, GHILEZAN, SILVIA

Journal:

Journal of Functional Programming

Year:

2000

Language:

english

File:

PDF, 217 KB

english, 2000

14

Dynamic role authorization in multiparty conversations

Ghilezan, Silvia, Jakšić, Svetlana, Pantović, Jovanka, Pérez, Jorge A., Vieira, Hugo Torres

Journal:

Formal Aspects of Computing

Year:

2016

Language:

english

File:

PDF, 621 KB

english, 2016

15

[ACM Press the 19th International Symposium - Namur, Belgium (2017.10.09-2017.10.11)] Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17 - Characterization of strong normalizability for a sequent lambda calculus with co-control

Santo, José Espírito, Ghilezan, Silvia

Year:

2017

Language:

english

File:

PDF, 838 KB

english, 2017

16

[ACM Press the Fifth European Conference - Larnaca, Cyprus (2017.08.31-2017.09.01)] Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems - ECBS '17 - An approach to formal verification of python software transactional memory

Kordic, Branislav, Popovic, Miroslav, Ghilezan, Silvia, Basicevic, Ilija

Year:

2017

Language:

english

File:

PDF, 1.04 MB

english, 2017

17

The "Relevance" of Intersection and Union Types

Dezani-Ciancaglini, Mariangiola, Ghilezan, Silvia, Venneri, Betti

Journal:

Notre Dame Journal of Formal Logic

Year:

1997

Language:

english

File:

PDF, 185 KB

english, 1997

18

The "Relevance" of Intersection and Union Types

Dezani-Ciancaglini, Mariangiola, Ghilezan, Silvia, Venneri, Betti

Journal:

Notre Dame Journal of Formal Logic

Year:

1997

File:

PDF, 185 KB

1997

19

The Duality of Classical Intersection and Union Types

Downen, Paul, Ariola, Zena M., Ghilezan, Silvia, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 486 KB

2019

20

Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus

KaÅ¡teroviÄ, Simona, Ghilezan, Silvia

Journal:

Journal of Logic and Computation

Year:

2020

File:

PDF, 674 KB

2020

21

Preface

Ghilezan, Silvia, Paolini, Luca

Journal:

Fundamenta Informaticae

Year:

2012

File:

PDF, 51 KB

2012